- вывод индуктивного типа
- n
IT. inférence inductive
Dictionnaire russe-français universel. 2013.
вывод индуктивного типа
Regardez d'autres dictionnaires:
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА ИНДУКТИВНАЯ — раздел логики, в к ром изучаются логич. процессы перехода от единичного знания к общему, В наст. время анализ этих процессов вошел в круг рассмотрения вероятностной логики как частный случай решения более широкой задачи: определения степени… … Философская энциклопедия
система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… … Словарь-справочник терминов нормативно-технической документации
ИНДУКТИВНАЯ ЛОГИКА — раздел логики, изучающий индуктивные рассуждения, используемые гл. обр. с целью получения индуктивных обобщений, объяснений, предсказаний, описаний и предписаний (см. Индукция). Осн. объект изучения в совр. И. л. индуктивный вывод. Для… … Философская энциклопедия
ИНДУКЦИЯ — (от лат. inductio наведение), переход от единичного знания об отд. предметах данного класса к общему выводу о всех предметах данного класса; один из методов познания. Основой И. являются данные, полученные путём наблюдения и эксперимента.… … Российская педагогическая энциклопедия
ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… … Философская энциклопедия
ГОСТ Р 52726-2007: Разъединители и заземлители переменного тока на напряжение свыше 1 кВ и приводы к ним. Общие технические условия — Терминология ГОСТ Р 52726 2007: Разъединители и заземлители переменного тока на напряжение свыше 1 кВ и приводы к ним. Общие технические условия оригинал документа: 3.1 IP код: Система кодирования, характеризующая степени защиты, обеспечиваемые… … Словарь-справочник терминов нормативно-технической документации
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
Финн, Виктор Константинович — (р. 15.07.1933) спец. в обл. логики, искусственного интеллекта; д р техн. наук, проф. Род. в Москве. Окончил филос. (1957) и механико матем. (1966) ф ты МГУ. С 1957 работал в Отделе матем. логики Лаборатории электромоделирования АН СССР; в 1959… … Большая биографическая энциклопедия
